Cofinal Stable Logics
نویسندگان
چکیده
منابع مشابه
Cofinal Stable Logics
We generalize the (∧,∨)-canonical formulas of [3] to (∧,∨)-canonical rules, and prove that each intuitionistic multi-conclusion consequence relation is axiomatizable by (∧,∨)-canonical rules. This provides an intuitionistic analogue of [6], and is an alternative of [19]. It also yields a convenient characterization of stable superintuitionistic logics introduced in [3]. The (∧,∨)-canonical form...
متن کاملStable Modal Logics
We develop the theory of stable modal logics, a class of modal logics introduced in [3]. We give several new characterizations of stable modal logics, and show that there are continuum many such. Since some basic modal systems such as K4 and S4 are not stable, for a modal logic L, we introduce the concept of an L-stable extension of L. We prove that there are continuum many S4-stable modal logi...
متن کاملCofinal types of ultrafilters
We study Tukey types of ultrafilters on ω, focusing on the question of when Tukey reducibility is equivalent to Rudin-Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many ultrafilters that are Tukey below any basically generated ultrafilter. The class of basically generated ultrafilters includes all known ultrafilters that are n...
متن کاملAnalytic Ideals and Cofinal Types
We study the class of analytic ideals on the set of natural numbers ordered under Tukey reducibility. We consider mostly structural issues: characterization of ideals which are Tukey above w”‘, extremal elements for the class of analytic P-ideals, etc. We prove that this class is very rich by embedding into it (P(N), (I,). We also study ideals associated to classical Banach spaces and ideals of...
متن کاملDirected Sets and Cofinal Types
We show that 1, w, ax, u x ux and ["iF" are the only cofinal types of directed sets of size S,, but that there exist many cofinal types of directed sets of size continuum. A partially ordered set D is directed if every two elements of D have an upper bound in D. In this note we consider some basic problems concerning directed sets which have their origin in the theory of Moore-Smith convergence...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2016
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-016-9677-9